home *** CD-ROM | disk | FTP | other *** search
/ MacHack 1994 / MacHack 1994.toast / MacHack™94 / Talks & Papers / Timothy Knox / Help / Help Files / Constraints / Send+More < prev    next >
Text File  |  1994-06-24  |  743b  |  31 lines
  1. { SEND+MORE=MONEY }
  2. (c)
  3.  
  4. ;;; Variables
  5. (r2 m s o r1 e n r0 r y d)
  6.  
  7. ;;; Constraints
  8. ((=? (+ d e) (+ y (* 10 r0)))
  9.  (=? (+ r0 (+ n r)) (+ e (* 10 r1)))
  10.  (=? (+ r1 (+ e o)) (+ n (* 10 r2)))
  11.  (=? (+ r2 (+ s m)) (+ o (* 10 m))) (<>? m 0)
  12.  (<>? s e) (<>? s n) (<>? s d) (<>? s m) (<>? s o) (<>? s r)
  13.  (<>? s y) (<>? e n) (<>? e d) (<>? e m) (<>? e o)
  14.  (<>? e y) (<>? n d) (<>? n m) (<>? n o) (<>? n r)
  15.  (<>? d m) (<>? d o) (<>? d r) (<>? d e) (<>? d y)
  16.  (<>? m o) (<>? m r) (<>? m e) (<>? m y) (<>? o r)
  17.  (<>? o e) (<>? o y) (<>? r e) (<>? r y))
  18.  
  19. ;;; Domains
  20. ((1 0)
  21.  (0 1)
  22.  (0 1 2 3 4 5 6 7 8 9)
  23.  (0 1 2 3 4 5 6 7 8 9)
  24.  (1 0)
  25.  (0 1 2 3 4 5 6 7 8 9)
  26.  (0 1 2 3 4 5 6 7 8 9)
  27.  (1 0)
  28.  (0 1 2 3 4 5 6 7 8 9)
  29.  (0 1 2 3 4 5 6 7 8 9)
  30.  (0 1 2 3 4 5 6 7 8 9))
  31.